Franz Baader：在 Z-Library 上搜索

您通往知識和文化的門戶。每個人都可以使用。

Don't use scam websites

Dear readers, unfortunately our support email is temporarily unavailable. We will restore it very soon. We apologize for the inconvenience.

When this message disappears, you can contact us again.

已應用篩選

精確匹配

精確匹配

圖書 (40)
最受歡迎
- 排序方式×
- 最受歡迎
- 最佳匹配
- 最近添加的
- 按標題 (A-Z)
- 按標題 (Z-A)
- 按年
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

1

The Description Logic Handbook: Theory, Implementation and Applications

The Description Logic Handbook: Theory, Implementation and Applications

Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (editors)

年:

2003

語言:

english

文件:

PDF, 2.20 MB

5.0 / 0

english, 2003

2

The Description Logic Handbook Theory, Implementation and Applications

The Description Logic Handbook Theory, Implementation and Applications

Cambridge University Press

年:

2010

語言:

english

文件:

PDF, 5.10 MB

5.0 / 0

english, 2010

3

An Introduction to Description Logic

An Introduction to Description Logic

Cambridge University Press

Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler

年:

2017

語言:

english

文件:

PDF, 3.86 MB

0 / 0

english, 2017

4

Term Rewriting and All That

Term Rewriting and All That

Cambridge University Press

Franz Baader, Tobias Nipkow

年:

1998

語言:

english

文件:

PDF, 25.10 MB

0 / 5.0

english, 1998

5

Les Enseignements Secrets De Martinez De Pasquali

Les Enseignements Secrets De Martinez De Pasquali

Von Franz, Baader

年:

2013

語言:

french

文件:

PDF, 6.28 MB

0 / 0

french, 2013

6

The Description Logic Handbook: Theory, Implementation and Applications

The Description Logic Handbook: Theory, Implementation and Applications

Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (editors)

年:

2007

語言:

english

文件:

PDF, 2.42 MB

5.0 / 0

english, 2007

7

Gesammelte Schriften zur Religionsphilosophie

Gesammelte Schriften zur Religionsphilosophie

Franz von Baader

年:

1963

語言:

german

文件:

PDF, 17.54 MB

0 / 0

german, 1963

8

Gesammelte Schriften zur Naturphilosophie

Gesammelte Schriften zur Naturphilosophie

Franz von Baader

年:

1963

語言:

german

文件:

PDF, 22.32 MB

0 / 4.0

german, 1963

9

An Introduction to Description Logic

An Introduction to Description Logic

Cambridge University Press

Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler

年:

2017

語言:

english

文件:

PDF, 2.71 MB

0 / 0

english, 2017

10

Term rewriting and all that

Term rewriting and all that

Cambridge University Press

Franz Baader, Tobias Nipkow

年:

1998

語言:

english

文件:

DJVU, 2.40 MB

0 / 0

english, 1998

11

Vierzig Sätze aus einer religiösen Erotik

Vierzig Sätze aus einer religiösen Erotik

Baader Franz von.

語言:

german

文件:

PDF, 5.24 MB

0 / 0

german

12

Gesammelte Schriften zur philosophischen Erkenntniswissenschaft als spekulative Logik

Gesammelte Schriften zur philosophischen Erkenntniswissenschaft als spekulative Logik

Franz von Baader

年:

1963

語言:

german

文件:

PDF, 21.79 MB

0 / 0

german, 1963

13

Erläuterungen zu sämtlichen Schriften von Louis Claude de Saint-Martin

Erläuterungen zu sämtlichen Schriften von Louis Claude de Saint-Martin

Franz von Baader

年:

1963

語言:

german

文件:

PDF, 21.61 MB

0 / 0

german, 1963

14

Biografie und Briefwechsel

Biografie und Briefwechsel

Franz von Baader

年:

1963

語言:

german

文件:

PDF, 28.79 MB

0 / 0

german, 1963

15

Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

Springer-Verlag Berlin Heidelberg

Franz Baader, Barış Sertkaya (auth.), Sébastien Ferré, Sebastian Rudolph (eds.)

年:

2009

語言:

english

文件:

PDF, 16.99 MB

0 / 0

english, 2009

16

Tagebücher aus den Jahren 1786-1793

Tagebücher aus den Jahren 1786-1793

Franz von Baader

年:

1963

語言:

german

文件:

PDF, 21.29 MB

0 / 0

german, 1963

17

Gesammelte Schriften zur Religionsphilosophie

Gesammelte Schriften zur Religionsphilosophie

Franz von Baader

年:

1963

語言:

german

文件:

PDF, 19.63 MB

0 / 0

german, 1963

18

Elementarbegriffe über die Zeit, Vorlesungen über Philosophie der Sozietät

Elementarbegriffe über die Zeit, Vorlesungen über Philosophie der Sozietät

Franz von Baader

年:

1963

語言:

german

文件:

PDF, 19.96 MB

0 / 4.0

german, 1963

19

Term Rewriting and All That

Term Rewriting and All That

Cambridge University Press

Franz Baader, Tobias Nipkow

年:

1998

語言:

english

文件:

DJVU, 2.19 MB

0 / 0

english, 1998

20

Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Xavier Leroy (auth.), Franz Baader (eds.)

年:

2007

語言:

english

文件:

PDF, 4.02 MB

0 / 0

english, 2007

21

KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI Vienna, Austria, September 19–21, 2001 Proceedings

KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI Vienna, Austria, September 19–21, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Michael Kearns (auth.), Franz Baader, Gerhard Brewka, Thomas Eiter (eds.)

年:

2001

語言:

english

文件:

PDF, 4.09 MB

0 / 0

english, 2001

22

Term Rewriting and All that

Term Rewriting and All that

Cambridge University Press

Franz Baader, Tobias Nipkow

年:

1998

語言:

english

文件:

PDF, 12.09 MB

0 / 0

english, 1998

23

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Matthias Baaz, Alexander Leitsch (auth.), Franz Baader, Andrei Voronkov (eds.)

年:

2005

語言:

english

文件:

PDF, 4.55 MB

0 / 0

english, 2005

24

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Franz Baader, Andrei Voronkov

年:

2005

語言:

english

文件:

PDF, 5.17 MB

0 / 0

english, 2005

25

Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

Springer-Verlag Berlin Heidelberg

Franz Baader, Barış Sertkaya (auth.), Sébastien Ferré, Sebastian Rudolph (eds.)

年:

2009

語言:

english

文件:

PDF, 35.28 MB

0 / 0

english, 2009

26

Über die Einführung der Kunststrassen (Eisenbahnen) in Deutschland aus einem Sendschreiben an Herrn Director von Widmanstätten in Wien

Über die Einführung der Kunststrassen (Eisenbahnen) in Deutschland aus einem Sendschreiben an Herrn Director von Widmanstätten in Wien

年:

1836

語言:

german

文件:

PDF, 15.80 MB

0 / 0

german, 1836

27

LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

Franz Baader [Franz Baader]

年:

2009

語言:

spanish

文件:

PDF, 5.46 MB

0 / 0

spanish, 2009

28

Fermenta cognitionis, Heft 1.

Fermenta cognitionis, Heft 1.

年:

1822

語言:

german

文件:

PDF, 16.22 MB

0 / 0

german, 1822

29

LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

Franz Baader [Franz Baader]

年:

2009

語言:

spanish

文件:

EPUB, 2.11 MB

0 / 0

spanish, 2009

30

LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

年:

2009

語言:

spanish

文件:

AZW3 , 2.41 MB

0 / 0

spanish, 2009

31

LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

年:

2009

語言:

spanish

文件:

FB2 , 3.82 MB

0 / 0

spanish, 2009

32

LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

Franz Baader [Franz Baader]

年:

2009

文件:

LIT , 2.01 MB

0 / 0

2009

33

LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

年:

2009

語言:

spanish

文件:

MOBI , 2.39 MB

0 / 0

spanish, 2009

34

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Franz Baader, Jan Hladik, Carsten Lutz (auth.), Moshe Y. Vardi, Andrei Voronkov (eds.)

年:

2003

語言:

english

文件:

PDF, 4.08 MB

0 / 0

english, 2003

35

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Franz Baader, Ulrike Sattler (auth.), Roy Dyckhoff (eds.)

年:

2000

語言:

english

文件:

PDF, 4.15 MB

0 / 0

english, 2000

36

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Franz Baader, Ulrike Sattler (auth.), Roy Dyckhoff (eds.)

年:

2000

語言:

english

文件:

PDF, 2.87 MB

0 / 0

english, 2000

37

Automated deduction, CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

Automated deduction, CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

年:

2003

語言:

english

文件:

PDF, 4.62 MB

0 / 0

english, 2003

38

Automated Deduction – CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings

Automated Deduction – CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Franz Baader (eds.)

年:

2003

語言:

english

文件:

PDF, 5.72 MB

0 / 0

english, 2003

39

Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Franz Baader (auth.), Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt (eds.)

年:

2009

語言:

english

文件:

PDF, 6.89 MB

0 / 0

english, 2009

40

Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Xavier Leroy (auth.), Franz Baader (eds.)

年:

2007

語言:

english

文件:

PDF, 6.93 MB

0 / 0

english, 2007